Example And salution galois extension